My life with affinity

My life with NF1.

My life with hurricanes.

About the author: I am currently working on the Gulf Coast in the division of general pediatrics at the University of TexasMedical Branch (UTMB) in Galveston. In the 1970s I attended medical school at Louisiana State University in New Orleans. After that I went to UTMB for my general pediatrics residency. I practiced general pediatrics in Longview, Texas, for 32 years afterward. I served as pre...

My Life

My Life with an Automatic Theorem Prover

Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. In the seven years since its first release in 2007, it has grown to become an essential part of most Isabelle users’ workflow. Although a lot of effort has gone into tuning the system, the main reason for Sledgehammer’s success is the impressive power of the external provers, especially E, SPASS, ...

My Life Philosophy